well_fnd_summary
9,38
postcript
pdf
Well-founded predicate. Rank induction lemmas and
tactics.
origin
